Universal extensions to simulate specifications
نویسندگان
چکیده
منابع مشابه
Universal extensions to simulate specifications
A previous paper introduced eternity variables as an alternative to the prophecy variables of Abadi and Lamport and proved the formalism to be semantically complete: every simulation F : K −. L that preserves quiescence contains a composition of a history extension, an extension with eternity variables, and a refinement mapping. This result is strengthened here in three ways. Firstly, the assum...
متن کاملEternity Variables to Simulate Specifications
Simulation of specifications is introduced as a unification and generalization of refinement mappings, history variables, forward simulations, prophecy variables, and backward simulations. Eternity variables are introduced as a more powerful alternative for prophecy variables and backward simulations. This formalism is semantically complete: every simulation is a composition of a forward simula...
متن کاملUniversal Extensions
In the category of left modules over a unital ring we show that a left exact reflector determines, for each n ≥ 1, a torsion theoretic setting in which universal extensions of length n exist. Combined with recent work of Rodelo-Van der Linden [9] this establishes the existence of universal central extensions of groups and Lie algebras. Interpreted in the homotopy category of topological spaces,...
متن کاملEquidistribution Questions for Universal Extensions
Let k be a field, C/k a proper, smooth, geometrically connected curve of genus g ≥ 1 given with a marked rational point 0 ∈ C(k), JC/k := Pic 0 C/k its Jacobian. Concretely, the group JC(k) is the group (under tensor product) of isomorphism classes of invertible sheaves L on C of degree zero. Given a point P ∈ C(k), we denote by I(P ) ⊂ OC the ideal sheaf of functions vanishing at P . Given P1,...
متن کاملEnhancing Metamodels with Scenarios: Plug-&-Simulate Extensions for Model Developers
In a previous work, we presented the concept of metamodels, an extension to system dynamics that allows the development and specialization of domain models. A domain model provides a high-level representation for the elements that compose a knowledge area. Specific models developed for the domain are based on these elements, inheriting their behavior from the domain model. Traditional system dy...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Information and Computation
سال: 2008
ISSN: 0890-5401
DOI: 10.1016/j.ic.2007.10.003